À l`instar de la récursion primitive ou le lambda-calcul, le Système T est un langage de programmation théorique. Il a été inventé par le logicien Kurt Gödel. - Ce système consiste en une fusion de la récursion primitive et du lambda-calcul simplement typé. Le système T est plus expre...